infinite induction

См. также в других словарях:

• Infinite descent — In mathematics, a proof by infinite descent is a particular kind of proof by contradiction which relies on the fact that the natural numbers are well ordered. One typical application is to show that a given equation has no solutions. Assuming a… …   Wikipedia

• Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… …   Wikipedia

• Bobine d'induction — Bobine (électricité) Quelques bobines …   Wikipédia en Français

• The Infinite Assassin — L Assassin infini L Assassin infini Auteur Greg Egan Genre Nouvelle Pays d origine  Australie Éditeur Revue Interzone Collection Axiomatique …   Wikipédia en Français

• Finitistic induction — is a limited form of mathematical induction in which it can be shown that the inductive process concludes its extension in a finite number of steps.An extreme form of the constructivist stance in the philosophy of mathematics, finitism proposes… …   Wikipedia

• Bar induction — is a reasoning principle used in intuitionistic mathematics, introduced by L.E.J. Brouwer.It is useful in giving constructive versions of classical results.It is based on an inductive argument.The goal of the principle is to prove properties of… …   Wikipedia

• Inductive reasoning — Induction or inductive reasoning, sometimes called inductive logic, is the process of reasoning in which the premises of an argument are believed to support the conclusion but do not entail it; i.e. they do not ensure its truth. Induction is a… …   Wikipedia

• Surreal number — In mathematics, the surreal number system is an arithmetic continuum containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. The surreals share… …   Wikipedia

• Ordinal number — This article is about the mathematical concept. For number words denoting a position in a sequence ( first , second , third , etc.), see Ordinal number (linguistics). Representation of the ordinal numbers up to ωω. Each turn of the spiral… …   Wikipedia

• Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… …   Wikipedia

• Peano axioms — In mathematical logic, the Peano axioms, also known as the Dedekind Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used… …   Wikipedia